An Exponential Separation between the Matching Principleand

The combinatorial matching principle states that there is no perfect matching on an odd number of vertices. This principle generalizes the pigeonhole principle, which states that for a xed bi-partition of the vertices, there is no perfect matching between them. Therefore , it follows from recent lower bounds for the pigeonhole principle that the matching principle requires exponential-size bounded-depth Frege proofs. Ajtai Ajt90] previously showed that the matching principle does not have polynomial-size bounded-depth Frege proofs even with the pigeonhole principle as an axiom schema. His proof utilizes nonstan-dard model theory and is nonconstructive. We improve Ajtai's lower bound from barely superpolynomial to exponential and eliminate the nonstandard model theory. Our lower bound is also related to the inherent complexity of particular search classes (see Pap91]). In particular, oracle separations between the complexity classes PPA and PPAD, and between PPA and PPP also follow from our techniques ((BP93a]).